Search Results
Invariant Set Distributed ERGs for Provably Safe On-Board Control of Nano-Quadrotor Swarms
Crazyflie FRTN01
Invariant Set Motion Planner for Simple Planar Robot
Bracketing largest invariant sets - Main algorithm
CRAZYFLIE V2.1
SYNDROME DEMO: Air-Ground Rendezvous (case 1)
Enforcing Constraints with Uncertain Parameters Using Invariance Control
Smooth Extensions of Feedback Motion Planners via Reference Governors
Active Inverse Model Learning with Error and Reachable Set Estimates
Lane keeping controller validated in Mcity
"Protecting Systems from Violating Constraints using..." Prof. Ilya Kolmanovsky (ICINCO 2021)
Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Deep Neural Networks
